21. An introduction to mathematical thought
پدیدآورنده : / by E. R. Stabler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics - Philosophy,Logic - Symbolic and mathematical
رده :
510
.
1
St-I
22. An invitation to applied category theory :
پدیدآورنده : Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
23. An invitation to applied category theory :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
24. Applications of Hyperstructure Theory
پدیدآورنده : by Piergiulio Corsini, Violeta Leoreanu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Combinatorics.,Computational complexity.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
25. Aspects of mathematical logic
پدیدآورنده : / edited by E. Casari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
26. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
27. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
28. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
29. Basic Concepts of Synthetic Differential Geometry
پدیدآورنده : by René Lavendhomme.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Cell aggregation-- Mathematics.,Global differential geometry.,Logic, Symbolic and mathematical.,Mathematics.
30. Basic concepts of mathematics and logic
پدیدآورنده : / Michael C. Gemignani
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics,Logic, Symbolic and mathematical
رده :
510
Ge-B
31. Basic concepts of mathematics and logic
پدیدآورنده : Gemignani, Michael C
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
32. Basic concepts of mathematics and logic
پدیدآورنده : / Michael C. Gemignani
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Mathematics,Logic, symbolic and mathematical
رده :
QA39
.
G38
33. Basice concepts of mathematics and logic
پدیدآورنده : Gemignani,Michel C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
G38
34. Bertrand Russell and Origins of the origins of the set-theroeti 'paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradoxes,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G2413
1992
35. Bertrand Russell and the origins of the set-theoretic 'Paradoxes'
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791. Principles of mathematics
رده :
QA
9
.
G29
36. Bertrand Russell and the origins of the set-theoretic 'paradoxes'
پدیدآورنده : / Alejandro R. Garciadiego
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Logic, Symbolic and mathematical,Set theory,Paradox,Russell, Bertrand,- 1872-1970- Principles of mathematics
رده :
QA9
.
G2413
1992
37. Bertrand Russell and the origins of the set-theoretic 'paradoxes', Bertrand Russell y los origenes de las paradojas de lateoria de conjuntos. English
پدیدآورنده : Garciadiego Dantan, Alejandro Ricardo
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Paradox,، Russell, Bertrand, 2781-0791 Principles of mathematics
رده :
QA
9
.
G2413
1992
38. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
39. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
40. Bridge to abstract mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Mathematics ;
